<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

<!-- $id$ -->

<html>

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
  <meta http-equiv="Content-Script-Type" content="text/javascript">
  <meta http-equiv="Refresh" content="0;URL=docs/index.html" >
  <title>Redirecting...</title>
</head>

<body bgcolor="#FFFFFF">
  <div align="center">
    <br>&nbsp;
    <br>&nbsp;
    <font size="+3" color="#C0C0C0" face="Arial"><b>Redirecting to the documentation...</b></font>
    <br>&nbsp;
    <br><font size="+2" color="#C0C0C0" face="Arial">If nothing happens, click here: <a href="docs/index.html">docs/index.html</a></font>
  </div>
</body>

</html>